1、
Research and Verification on the Operational Semantics Model of DFL Programming Language
动态模糊逻辑程序设计语言的操作语义模型及验证
互联网摘选
2、
There may also be operational semantics to consider when introducing a change.
在引入更改时，还可能需要考虑操作语义。
互联网摘选
3、
4、
Syntax and operational semantics of recursive programs based on predicate logic
建立于谓词逻辑上的递归程序及其操作语义
互联网摘选
5、
6、
7、
8、
Operational semantics and denotational semantics are two type of formal semantics.
其中操作语义学和指称语义学是形式语义学的两大类别。
互联网摘选
9、
最后，用Plotkin风格的结构操作语义SOS（structural operational semantics）规则归纳地给出满足组合性的UML状态机语义。
互联网摘选
10、
提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型，并对该模型的正确性和可靠性进行了证明；
互联网摘选
11、
MapReduce的关键特点是它能够对开发人员隐藏操作并行语义&并行编程的具体工作方式。
互联网摘选
